- permutative reduction
- мат.перестановочное приведение
English-Russian scientific dictionary. 2008.
permutative reduction
Смотреть что такое "permutative reduction" в других словарях:
De Bruijn notation — For the representation of variables with natural numbers, see De Bruijn index. In mathematical logic, the De Bruijn notation is a syntax for terms in the λ calculus invented by the Dutch mathematician Nicolaas Govert de Bruijn.[1] It can be seen… … Wikipedia
